#include "stm32f4xx.h"

int main(void)
{
  while (1)
    ;
}
